В работе рассматривается алгебраический подход к проблеме статического анализа программ и, в частности, к проблеме поиска инвариантных соотношений с использованием метода абстрактных интерпретаций. Дается полная алгебраическая характеристика этого подхода. Алгоритмы иллюстрируются на примерах.